1. $i$ : $\mathbb{Z}$
\\[0ex]$\vdash$  (if 0 $\leq$z $i$ then $i$ else {-}$i$ fi  = 0) $\Leftarrow\!\Rightarrow$ ($i$ = 0)